The Predicative Predicament

The kidney research predicament.

Research funding from public and private sources has reached an all-time low. Economic conditions, sequestration, and a trend of low award success rates have created an imbalance between the supply of highly qualified research investigators and the availability of critically necessary research dollars. This grim environment continues to hinder the success of established investigators and deter ...

The Central European Predicament

The Predicament of the Family

The predicative Frege hierarchy

In this paper, we characterize the strength of the predicative Frege hierarchy, PV, introduced by John Burgess in his book [Bur05]. We show that PV and Q + con(Q) are mutually interpretable. It follows that PV := PV is mutually interpretable with Q. This fact was proved earlier by Mihai Ganea in [Gan06] using a different proof. Another consequence of the our main result is that PV is mutually i...

Computation and the Human Predicament

This reprint is provided for personal and noncommercial use. For any other use, please send a request Brian Hayes by electronic mail to [email protected].